G-linear sets and torsion points in definably compact groups
نویسندگان
چکیده
Let G be a definably compact group in an o-minimal expansion of a real closed field. We prove that if dim(G \ X) < dimG for some definable X ⊆ G then X contains a torsion point of G. Along the way we develop a general theory for the so-called G-linear sets, and investigate definable sets which contain abstract subgroups of G.
منابع مشابه
O-minimal cohomology and definably compact definable groups
LetN an o-minimal expansion of a real closed field. We develop the cohomology theory for the category ofN -definable manifolds with continuous N -definable maps and use this to solve the Peterzil-Steinhorn problem [ps] on the existence of torsion points onN -definably compact N -definable abelian groups. Namely we prove the following result: Let G be an N -definably compact N -definably connect...
متن کاملThe Euler characteristic of definable groups
We show that in an arbitrary o-minimal structure the following are equivalent: (i) every infinite, definably compact, definably connected definable group G has o-minimal Euler characteristic E(G) zero; (ii) if H is a definable subgroup of a definably compact, definably connected, definable group G such that E(G/H) 6= 0, then G = ∪{gHg−1 : g ∈ G}; (iii) every infinite, definably compact, definab...
متن کاملHigher Homotopy of Groups Definable in O-minimal Structures
It is known that a definably compact group G is an extension of a compact Lie group L by a divisible torsion-free normal subgroup. We show that the o-minimal higher homotopy groups of G are isomorphic to the corresponding higher homotopy groups of L. As a consequence, we obtain that all abelian definably compact groups of a given dimension are definably homotopy equivalent, and that their unive...
متن کاملLie-like Decompositions of Groups Definable in O-minimal Structures
There are strong analogies between groups definable in o-minimal structures and real Lie groups. Nevertheless, unlike the real case, not every definable group has maximal definably compact subgroups. We study definable groups G which are not definably compact showing that they have a unique maximal normal definable torsion-free subgroup N ; the quotient G/N always has maximal definably compact ...
متن کاملDefinably compact abelian groups
Let M be an o–minimal expansion of a real closed field. Let G be a definably compact definably connected abelian n–dimensional group definable in M. We show the following: the o–minimal fundamental group of G is isomorphic to Z; for each k > 0, the k–torsion subgroup of G is isomorphic to (Z/kZ), and the o–minimal cohomology algebra over Q of G is isomorphic to the exterior algebra over Q with ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Arch. Math. Log.
دوره 48 شماره
صفحات -
تاریخ انتشار 2009